From 60edd71276caee77b1d6046df53854d24e01f43b Mon Sep 17 00:00:00 2001 From: Julien Grall Date: Mon, 27 Apr 2015 15:58:33 +0100 Subject: [PATCH] xen/arm: p2m: Add an ASSERT to check that p2m lock is taken in __p2m_lookup __p2m_lookup should be called with the p2m lock taken. Add an ASSERT in order to catch wrong caller in debug build. Signed-off-by: Julien Grall Acked-by: Ian Campbell --- xen/arch/arm/p2m.c | 1 + 1 file changed, 1 insertion(+) diff --git a/xen/arch/arm/p2m.c b/xen/arch/arm/p2m.c index 8dfee246b8..65efa949e5 100644 --- a/xen/arch/arm/p2m.c +++ b/xen/arch/arm/p2m.c @@ -160,6 +160,7 @@ static paddr_t __p2m_lookup(struct domain *d, paddr_t paddr, p2m_type_t *t) p2m_type_t _t; unsigned int level, root_table; + ASSERT(spin_is_locked(&p2m->lock)); BUILD_BUG_ON(THIRD_MASK != PAGE_MASK); /* Allow t to be NULL */ -- 2.30.2